\documentclass{article}

\usepackage{../../util}

\title{Logic and Set Theory}
\author{Cambridge University Mathematical Tripos: Part II}

\begin{document}
\maketitle

\tableofcontentsnewpage{}

\section{Propositional logic}
\input{01_propositional_logic.tex}
\section{Well-orderings}
\input{02_well_orderings.tex}
\section{Posets}
\input{03_posets.tex}
\section{Predicate logic}
\input{04_predicate_logic.tex}
\section{Set theory}
\input{05_set_theory.tex}
\section{Cardinals}
\input{06_cardinals.tex}
\section{Incompleteness}
\input{07_incompleteness.tex}

\end{document}
